Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
2

An ant colony optimisation algorithm for the 2D and 3D hydrophobic polar protein folding problem

Рік:
2005
Мова:
english
Файл:
PDF, 623 KB
english, 2005
4

Stochastic Local Search || TRAVELLING SALESMAN PROBLEMS

Рік:
2005
Мова:
english
Файл:
PDF, 5.08 MB
english, 2005
5

The Configurable SAT Solver Challenge (CSSC)

Рік:
2017
Мова:
english
Файл:
PDF, 1.77 MB
english, 2017
7

Towards a characterisation of the behaviour of stochastic local search algorithms for SAT

Рік:
1999
Мова:
english
Файл:
PDF, 252 KB
english, 1999
8

Analysis of energy-based algorithms for RNA secondary structure prediction

Рік:
2012
Мова:
english
Файл:
PDF, 540 KB
english, 2012
10

Algorithm runtime prediction: Methods & evaluation

Рік:
2014
Мова:
english
Файл:
PDF, 3.75 MB
english, 2014
11

Ensemble-based prediction of RNA secondary structures

Рік:
2013
Мова:
english
Файл:
PDF, 324 KB
english, 2013
12

Programming by optimization

Рік:
2012
Мова:
english
Файл:
PDF, 6.22 MB
english, 2012
13

On the empirical time complexity of finding optimal solutions vs proving optimality for Euclidean TSP instances

Рік:
2015
Мова:
english
Файл:
PDF, 325 KB
english, 2015
16

Editors' Notes

Рік:
2004
Мова:
english
Файл:
PDF, 50 KB
english, 2004
18

Music Information Retrieval || Editors' Notes

Рік:
2004
Мова:
english
Файл:
PDF, 373 KB
english, 2004
20

aspeed: Solver scheduling via answer set programming

Рік:
2015
Мова:
english
Файл:
PDF, 237 KB
english, 2015
21

SATenstein: Automatically building local search SAT solvers from components

Рік:
2016
Мова:
english
Файл:
PDF, 784 KB
english, 2016
22

Automatic construction of parallel portfolios via algorithm configuration

Рік:
2016
Мова:
english
Файл:
PDF, 1.05 MB
english, 2016
23

Foreword

Рік:
2019
Мова:
english
Файл:
PDF, 23 KB
english, 2019
26

Rapid cell population identification in flow cytometry data

Рік:
2011
Мова:
english
Файл:
PDF, 1.00 MB
english, 2011
28

MAX–MIN Ant System

Рік:
2000
Мова:
english
Файл:
PDF, 330 KB
english, 2000
29

Tradeoffs in the empirical evaluation of competing algorithm designs

Рік:
2010
Мова:
english
Файл:
PDF, 1.08 MB
english, 2010
30

Preface

Рік:
2007
Мова:
english
Файл:
PDF, 158 KB
english, 2007
31

Cognitive Principles for Information Management: The Principles of Mnemonic Associative Knowledge (P-MAK)

Рік:
2007
Мова:
english
Файл:
PDF, 482 KB
english, 2007
32

Preference-Based Constrained Optimization with CP-Nets

Рік:
2004
Мова:
english
Файл:
PDF, 214 KB
english, 2004
33

Local Search Algorithms for SAT: An Empirical Evaluation

Рік:
2000
Мова:
english
Файл:
PDF, 494 KB
english, 2000
34

An adaptive bin framework search method for a beta-sheet protein homopolymer model

Рік:
2007
Мова:
english
Файл:
PDF, 653 KB
english, 2007
35

A replica exchange Monte Carlo algorithm for protein folding in the HP model

Рік:
2007
Мова:
english
Файл:
PDF, 1.69 MB
english, 2007
36

Computational RNA secondary structure design: empirical complexity and improved methods

Рік:
2007
Мова:
english
Файл:
PDF, 467 KB
english, 2007
37

RNA STRAND: The RNA Secondary Structure and Statistical Analysis Database

Рік:
2008
Мова:
english
Файл:
PDF, 385 KB
english, 2008
39

A New Algorithm for RNA Secondary Structure Design

Рік:
2004
Мова:
english
Файл:
PDF, 605 KB
english, 2004
40

[Foundations of Artificial Intelligence] Handbook of Constraint Programming Volume 2 || Local Search Methods

Рік:
2006
Мова:
english
Файл:
PDF, 5.24 MB
english, 2006
45

Stochastic Local Search || MAX-SAT AND MAX-CSP

Рік:
2005
Мова:
english
Файл:
PDF, 4.30 MB
english, 2005